Skip to content

[IMPROVEMENT] User: Improve PHP types in User/Search#11435

Merged
kergomard merged 1 commit into
ILIAS-eLearning:release_11from
mjansenDatabay:improvement/11/usr-search-types
May 19, 2026
Merged

[IMPROVEMENT] User: Improve PHP types in User/Search#11435
kergomard merged 1 commit into
ILIAS-eLearning:release_11from
mjansenDatabay:improvement/11/usr-search-types

Conversation

@mjansenDatabay
Copy link
Copy Markdown
Contributor

This PR improves the type documentation in the
Search sub-namespace of the "User" component.

If approved. please pick to trunk as well.

This PR improves the type documentation in the
`Search` sub-namespace of the "User" component.
@mjansenDatabay mjansenDatabay added improvement php Pull requests that update Php code labels Apr 17, 2026
@kergomard kergomard merged commit 5c83b3b into ILIAS-eLearning:release_11 May 19, 2026
5 checks passed
@kergomard
Copy link
Copy Markdown
Contributor

Thank you very much for the improvements @mjansenDatabay ! Merged and picked to trunk.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

improvement php Pull requests that update Php code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants